The existential theory of equicharacteristic henselian valued fields
نویسندگان
چکیده
منابع مشابه
An Isomorphism Theorem for Henselian Algebraic Extensions of Valued Fields
In general, the value groups and the residue elds do not suuce to classify the algebraic henselian extensions of a valued eld K, up to isomorphism over K. We deene a stronger, yet natural structure which carries information about additive and multiplica-tive congruences in the valued eld, extending the information carried by value groups and residue elds. We discuss the cases where these \mixed...
متن کاملExistential ∅-Definability of Henselian Valuation Rings
In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series F [[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability results for henselian valued fields with finite or pseudo-algebraically closed residue fields. §
متن کاملKummer subfields of tame division algebras over Henselian valued fields
By generalizing the method used by Tignol and Amitsur in [TA85], we determine necessary and sufficient conditions for an arbitrary tame central division algebra D over a Henselian valued field E to have Kummer subfields [Corollary 2.11 and Corollary 2.12]. We prove also that if D is a tame semiramified division algebra of prime power degree p over E such that p 6= char(Ē) and rk(ΓD/ΓF ) ≥ 3 [re...
متن کاملRelative decidability and definability in henselian valued fields
Let (K, v) be a henselian valued field of characteristic 0. Then K admits a definable partition on each piece of which the leading term of a polynomial in one variable can be computed as a definable function of the leading term of a linear map. The main step in obtaining this partition is an answer to the question, given a polynomial f(x) ∈ K[x], what is v(f(x))? Two applications are given: fir...
متن کاملDiophantine Inequality for Equicharacteristic Excellent Henselian Local Domains
G. Rond has proved a Diophantine type inequality for the field of quotients of the convergent or formal power series ring in multivariables. We generalize his theorem to the field of the quotients of an excellent Henselian local domain in equicharacteristic case. RÉSUMÉ. G. Rond a démontré une inégalité de type Diophantien pour le corps des quotients de séries convergentes (ou formelles) à plus...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra & Number Theory
سال: 2016
ISSN: 1944-7833,1937-0652
DOI: 10.2140/ant.2016.10.665